symbolic execution - Deutsch Englisch Wörterbuch